1.
Verification of Sequential and Concurrent Programs
by Apt, K. R., Olderog, F. R.,...
ISBN: 9780387975320
List Price: $59.95
2.
Verification of Sequential and Concurrent Programs
by Olderog, Ernst-RĂ¼diger, Apt...
ISBN: 9780387948966
List Price: $129.00